1. Residuated lattices : an algebraic glimpse at substructural logics
پدیدآورنده : Nikolaos Galatos ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebraic logic,، Lattice theory
رده :
QA
10
.
R47
2007
2. Rudiments of ]mu[-calculus
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Algebraic logic,، Monotonic functions,، Fixed point theory,، Lattice theory,، Machine theory
رده :
QA
10
.
A76
2001
